class Test
    inherit INTEGER
end
class Test2
end
class Test3
convert
    a : {INTEGER}
feature
    a : INTEGER
    do
    Result:=4
    end
end
class APP
feature
    test(a : ARRAY[INTEGER])
    do
    end
    INIT
    local a : TEST; b : TEST2 ; c : TEST3
    do
        Current.test( <<5,2>> );
        Current.test( <<5,a,c>> );
        Current.test( <<5,b>> );
    end
end